Calculus of structures - PDFSEARCH.IO - Document Search Engine

Calculus of structures
Results: 64

#	Item
41	The Open University Library Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2010-04-13 06:03:48 Philosophy of mathematics Boolean algebra Geometric algebra Calculus Ring Mathematical analysis Mathematical logic Structure Philosophers of mathematics Algebraic structures Ring theory Mathematics
42	Structure of Mathematics Courses for the UG Program Sem Name of the courses to be offered by the Department of mathematics 1 Add to Reading List Source URL: www.iisc.ernet.in Language: English - Date: 2013-04-21 05:03:32 Linear algebra Abstract algebra Mathematical structures Operator theory Differential calculus Functional analysis Graduate Texts in Mathematics Fundamental theorem Vector space Mathematics Algebra Mathematical analysis
43	An enhanced finite volume method to model 2D linear elastic structures R. Sulimana,b,∗, O.F. Oxtobyb , A.G. Malanb , S. Koka,c a Department of Mechanical and Aeronautical Engineering, University of Pretoria, Add to Reading List Source URL: researchspace.csir.co.za Language: English - Date: 2014-06-23 17:55:15 Numerical analysis Computational fluid dynamics Finite element method Fluid dynamics Partial differential equations Finite volume method Stress Physics Mechanics Calculus
44	On Contraction Analysis for Nonlinear Systems Analyzing stability differentially leads to a new perspective on nonlinear dynamic systems Winfried Lohmiller a and Jean-Jacques E. Slotine a, b Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-11-21 09:25:28 Differential calculus Dynamical systems Mathematical structures Stability theory Lyapunov exponent Calculus LTI system theory Differential of a function Ordinary differential equation Mathematics Algebra Mathematical analysis
45	Microsoft Word - AG3-FinitaryCut Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2008-11-02 06:24:07 Predicate logic Logical syntax Model theory First-order logic Linear logic Finitary Calculus of structures Modal logic Mereology Logic Mathematical logic Non-classical logic
46	28 June[removed]Non-commutativity and MELL in the Calculus of Structures Alessio Guglielmi and Lutz Straßburger Technische Universit¨ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:31 Mathematics Natural deduction Noncommutative logic Cut-elimination theorem Sequent calculus Linear logic Sequent Rule of inference Function Logic Mathematical logic Proof theory
47	AG16 SOME NEWS ON SUBATOMIC LOGIC Alessio Guglielmi (TU Dresden and University of Bath[removed]After our experience with the calculus of structures (CoS) [WS], we Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:37:51 Non-classical logic Boolean algebra Substructural logic Logical connectives Negation Linear logic Rule of inference Modal logic Noncommutative logic Logic Mathematical logic Propositional calculus
48	THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model. Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2014-05-08 11:14:10 Mathematics Calculus of structures Deep inference Linear logic Cut-elimination theorem Proof calculus Analytic proof Sequent calculus Propositional calculus Logic Mathematical logic Proof theory
49	ON ANALYTIC INFERENCE RULES IN THE CALCULUS OF STRUCTURES PAOLA BRUSCOLI AND ALESSIO GUGLIELMI In this note, we discuss the notion of analytic inference rule for propositional logics in the calculus of structures (CoS) [ Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-11-25 01:04:57 Propositional calculus Inference Logic in computer science Logical consequence Deep inference Rule of inference Sequent calculus Sequent Calculus of structures Logic Mathematical logic Proof theory
50	Big Picture Deriving a whole Discrete Calculus Q you need first a discrete domain ¾ will induce the notion of chains Add to Reading List Source URL: ddg.cs.columbia.edu Language: English - Date: 2006-08-17 14:41:40 Differential geometry Differential calculus Group theory Mathematical structures Discrete exterior calculus Finite element method Discrete differential geometry Geometry Vector space Mathematics Algebra Mathematical analysis